Safety Oriented Maneuvers for S 1
نویسندگان
چکیده
The AVHS architecture of the California PATH program organizes traffic into platoons of closely spaced vehicles. Platoons are formed and broken up by two longitudinal control maneuvers, merge and split. A third longitudinal maneuver, decelerate to change lanes, allows a platoon switching from one lane to another to enter its new lane at a safe spacing and speed. This paper presents a robust control strategy for these maneuvers. Safety is assured by forcing the velocity of the trail platoon to remain under a maximum safe velocity boundary. When safety is not threatened, the vehicles’ jerk and acceleration remain within comfort limits. Because no timed nominal trajectories are used, completion of the maneuvers does not depend on vehicles meeting prescribed acceleration capabilities.
منابع مشابه
Prediction of Driver’s Accelerating Behavior in the Stop and Go Maneuvers Using Genetic Algorithm-Artificial Neural Network Hybrid Intelligence
Research on vehicle longitudinal control with a stop and go system is presently one of the most important topics in the field of intelligent transportation systems. The purpose of stop and go systems is to assist drivers for repeatedly accelerate and stop their vehicles in traffic jams. This system can improve the driving comfort, safety and reduce the danger of collisions and fuel consumption....
متن کاملAssessment: Assessment of Strategies to Manage or Avoid Perceived Threats Among Panic Disorder Patients: The Texas Safety Maneuver Scale (TSMS)
Safety maneuvers are defined as strategies people use to manage or avoid their perceived threats. The present study presents the development of the Texas Safety Maneuver Scale (TSMS), an instrument that assesses the pattern and extent of use of safety maneuvers in formerly treated panic patients. Ex-patients (N 105), who had completed cognitive behavioral treatment at the Anxiety Disorders Lab...
متن کاملVerification and Implementation of SHIFT Models
We report here the work carried out with the aim of both verifying the correctness of SHIFT specifications and generating code to be executed on-board in real-time. 1 Motivations and goals SHIFT [7, 4, 51 is a specification language oriented towards the modeling of socalled hybrid systems, i.e., systems comprising of both discrete and continuous behaviors (over time) [l]. Discrete behaviors are...
متن کاملFormal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
Aircraft collision avoidance maneuvers are important and complex applications. Curved flight exhibits nontrivial continuous behavior. In combination with the control choices during air traffic maneuvers, this yields hybrid systems with challenging interactions of discrete and continuous dynamics. As a case study illustrating the use of a new proof assistant for a logic for nonlinear hybrid syst...
متن کاملRecruitment Maneuvers to the Extreme.
Alveolar collapse is a common problem in mechanically ventilated children, particularly those with significant lung disease, such as ARDS. Many different methods are used by clinicians to recruit collapsed alveoli, including sustained inflation or incremental increases in PEEP until recruitment is achieved. These methods have primarily been studied in animal models and adults with varying appro...
متن کامل